- Korollar (das)
- corollaire
Lexique philosophique allemand-français. D. Seron. 2004.
Korollar (das)
Regardez d'autres dictionnaires:
Korollar — (das, Mehrzahl Korollare; von lateinisch corollarium ‚Zugabe‘, ‚Geschenk‘) bezeichnet in der Mathematik und Logik eine Aussage, die sich aus einem schon bewiesenen Satz, dem Beweis eines schon bewiesenen Satzes oder aus einer Definition ohne … Deutsch Wikipedia
Korollar — Ko|rol|lar 〈n. 11〉 oV Korollarium 1. Zugabe, Anhang 2. 〈Logik〉 aus einem anderen Satz abgeleiteter Satz, gefolgerter Satz * * * Ko|rol|lar, das; s, e, Ko|rol|la|ri|um, das; s, ...i̯en [...iən; lat. corollarium = Zusatz, eigtl. = Kränzchen]… … Universal-Lexikon
Korollar — Ko|rol|lar das; s, e u. Ko|rol|la|ri|um das; s, ...ien [...i̯ən] <aus gleichbed. lat. corollarium, eigtl. »Kränzchen; Zugabe«> Satz, der selbstverständlich aus einem bewiesenen Satz folgt; <aus einem anderen Satz abgeleiteter,… … Das große Fremdwörterbuch
Korollar — Ko|rol|lar, das; s, e, Ko|rol|la|ri|um, das; s, ...ien (Logik Satz, der selbstverständlich aus einem bewiesenen Satz folgt) … Die deutsche Rechtschreibung
Satz von Banach-Mazur — Der Satz von Banach Mazur aus dem Jahre 1933, benannt nach Stefan Banach und Stanisław Mazur, ist ein klassischer Satz aus dem Teilgebiet der Funktionalanalysis. Unter den separablen Banachräumen gibt es welche, die eine Kopie jedes anderen… … Deutsch Wikipedia
Löwenheim-Skolem — Das Löwenheim Skolem Theorem besagt, dass eine Menge von Aussagen der Prädikatenlogik erster Stufe, die in einem Modell mit einer überabzählbar unendlich großen Domäne erfüllt ist, immer auch in einem Modell mit einer abzählbar unendlich großen… … Deutsch Wikipedia
Satz von Löwenheim-Skolem — Das Löwenheim Skolem Theorem besagt, dass eine Menge von Aussagen der Prädikatenlogik erster Stufe, die in einem Modell mit einer überabzählbar unendlich großen Domäne erfüllt ist, immer auch in einem Modell mit einer abzählbar unendlich großen… … Deutsch Wikipedia
Satz von Löwenheim und Skolem — Das Löwenheim Skolem Theorem besagt, dass eine Menge von Aussagen der Prädikatenlogik erster Stufe, die in einem Modell mit einer überabzählbar unendlich großen Domäne erfüllt ist, immer auch in einem Modell mit einer abzählbar unendlich großen… … Deutsch Wikipedia
Skolem-Paradox — Das Löwenheim Skolem Theorem besagt, dass eine Menge von Aussagen der Prädikatenlogik erster Stufe, die in einem Modell mit einer überabzählbar unendlich großen Domäne erfüllt ist, immer auch in einem Modell mit einer abzählbar unendlich großen… … Deutsch Wikipedia
Skolemsches Paradoxon — Das Löwenheim Skolem Theorem besagt, dass eine Menge von Aussagen der Prädikatenlogik erster Stufe, die in einem Modell mit einer überabzählbar unendlich großen Domäne erfüllt ist, immer auch in einem Modell mit einer abzählbar unendlich großen… … Deutsch Wikipedia
Quadratur des Kreises — Das Quadrat und der Kreis haben den gleichen Flächeninhalt. Die Quadratur des Kreises ist ein klassisches Problem der Geometrie. Die Aufgabe besteht darin, aus einem gegebenen Kreis in endlich vielen Schritten ein Quadrat mit demselben… … Deutsch Wikipedia
